We present a set of algorithms for automated simplification of symbolic constants of the form ∑iαixi with αi rational and xi complex. The included algorithms, called SimplifySum2 and implemented in Mathematica, remove redundant terms, attempt to make terms and the full expression real, and remove terms using repeated application of the multipair PSLQ integer relation detection algorithm. Also included are facilities for making substitutions according to user-specified identities. We illustrate this toolset by giving some real-world examples of its usage, including (...) one, for instance, where the tool reduced a symbolic expression of approximately 100 000 characters in size enough to enable manual manipulation to one with just four simple terms.2Available from https://github.com/alexkaiser/SimplifySum. (shrink)

Critics of the conventional theory of biological evolution have asserted that while natural processes might result in some limited diversity, nothing fundamentally new can arise from “random” evolution. In response, biologists like Richard Dawkins have demonstrated that a computer program can generate a specific short phrase via evolution-like iterations starting with random gibberish. While such demonstrations are intriguing, they are flawed in that they have a fixed, prespecified future target, whereas in real biological evolution there is no fixed future target, (...) but only a complicated “fitness landscape.” In this study, a significantly more sophisticated evolutionary scheme is employed to produce text segments reminiscent of a Charles Dickens novel. The aggregate size of these segments is larger than the computer program and the input Dickens text, even when comparing compressed data. (shrink)

Hypotheses regarding the selective pressures driving the threefold increase in the size of the hominid brain since Homo habilis include climatic conditions, ecological demands, and social competition. We provide a multivariate analysis that enables the simultaneous assessment of variables representing each of these potential selective forces. Data were collated for latitude, prevalence of harmful parasites, mean annual temperature, and variation in annual temperature for the location of 175 hominid crania dating from 1.9 million to 10 thousand years ago. We also (...) included a proxy for population density and two indexes of paleoclimatic variability for the time at which each cranium was discovered. Results revealed independent contributions of population density, variation in paleoclimate, and temperature variation to the prediction of change in hominid cranial capacity (CC). Although the effects of paleoclimatic variability and temperature variation provide support for climatic hypotheses, the proxy for population density predicted more unique variance in CC than all other variables. The pattern suggests multiple pressures drove hominid brain evolution and that the core selective force was social competition. (shrink)

We agree with Archer that human sex differences in aggression are well explained by sexual selection, but note that explanations of human behaviors are not logically mutually exclusive from explanations and therefore should not be framed as such. We discuss why this type of framing hinders the development of both social learning and evolutionary theories of human behavior.

We present a one per cent measurement of the cosmic distance scale from the detections of the baryon acoustic oscillations in the clustering of galaxies from the Baryon Oscillation Spectroscopic Survey, which is part of the Sloan Digital Sky Survey III. Our results come from the Data Release 11 sample, containing nearly one million galaxies and covering approximately 8500 square degrees and the redshift range 0.2 < z < 0.7. We also compare these results with those from the publicly released (...) DR9 and DR10 samples. Assuming a concordance Λ cold dark matter cosmological model, the DR11 sample covers a volume of 13 Gpc3 and is the largest region of the Universe ever surveyed at this density. We measure the correlation function and power spectrum, including density-field reconstruction of the BAO feature. The acoustic features are detected at a significance of over 7σ in both the correlation function and power spectrum. Fitting for the position of the acoustic features measures the distance relative to the sound horizon at the drag epoch, rd, which has a value of rd,fid = 149.28 Mpc in our fiducial cosmology. We find DV = at z = 0.32 and DV = at z = 0.57. At 1.0 per cent, this latter measure is the most precise distance constraint ever obtained from a galaxy survey. Separating the clustering along and transverse to the line of sight yields measurements at z = 0.57 of DA = and H =. Our measurements of the distance scale are in good agreement with previous BAO measurements and with the predictions from cosmic microwave background data for a spatially flat CDM model with a cosmological constant. © 2014 The Author Published by Oxford University Press on behalf of the Royal Astronomical Society. (shrink)

© 2017. The American Astronomical Society. All rights reserved.We present new observations of the low-mass companion to HD 984 taken with the Gemini Planet Imager as a part of the GPI Exoplanet Survey campaign. Images of HD 984 B were obtained in the J and H bands. Combined with archival epochs from 2012 and 2014, we fit the first orbit to the companion to find an 18 au orbit with a 68% confidence interval between 14 and 28 au, an eccentricity (...) of 0.18 with a 68% confidence interval between 0.05 and 0.47, and an inclination of 119°with a 68% confidence interval between 114°and 125°. To address the considerable spectral covariance in both spectra, we present a method of splitting the spectra into low and high frequencies to analyze the spectral structure at different spatial frequencies with the proper spectral noise correlation. Using the split spectra, we compare them to known spectral types using field brown dwarf and low-mass star spectra and find a best-fit match of a field gravity M6.5 ±1.5 spectral type with a corresponding temperature of K. Photometry of the companion yields a luminosity of log=2.88 ± 0.07 dex with DUSTY models. Mass estimates, again from DUSTY models, find an age-dependent mass of 34 ±1 to 95 ±4 M Jup. These results are consistent with previous measurements of the object. (shrink)

My primary aim in this paper is to show that the structure of experience must include a subject (or self). I argue that the subjectless (No-Self) views of our experience must be rejected, primarily because without the consciousness-unifying function of a subject they are unable to account for the unities of consciousness present in our experience. In addition, I contend that such views fail in another respect. They emphasize the streaming of experience, the ever-changing flow of conscious events, but have (...) difficulty identifying what must stand unmoving to provide the contrast needed for the experience of motion. (shrink)

At least since Descartes, philosophers have been interested in the special knowledge or authority that we exhibit when we speak about our own thoughts, attitudes, and feelings. This book contends that even the best work in contemporary philosophy of mind fails to account for this sort of knowledge or authority because it does not pay the right sort of attention to the notion of expression. What's at stake is not only how to understand self-knowledge and first-person authority, but also what (...) it is that distinguishes conscious from unconscious psychological states, what the mental life of a nonlinguistic animal has in common with our sort of mental life, and how to think about Wittgenstein's legacy to the philosophy of mind. (shrink)

This paper considers an application of work on probabilistic measures of coherence to inference to the best explanation. Rather than considering information reported from different sources, as is usually the case when discussing coherence measures, the approach adopted here is to use a coherence measure to rank competing explanations in terms of their coherence with a piece of evidence. By adopting such an approach IBE can be made more precise and so a major objection to this mode of reasoning can (...) be addressed. Advantages of the coherence - based approach are pointed out by comparing it with several other ways to characterize ‘ best explanation ’ and showing that it takes into account their insights while overcoming some of their problems. The consequences of adopting this approach for IBE are discussed in the context of recent discussions about the relationship between IBE and Bayesianism. (shrink)

A quarter of a century ago, the first systematic behavioral experiments were performed to clarify the nature of color constancy—the effect whereby the perceived color of a surface remains constant despite changes in the spectrum of the illumination. At about the same time, new models of color constancy appeared, along with physiological data on cortical mechanisms and photographic colorimetric measurements of natural scenes. Since then, as this review shows, there have been many advances. The theoretical requirements for constancy have been (...) better delineated and the range of experimental techniques has been greatly expanded; novel invariant properties of images and a variety of neural mechanisms have been identified; and increasing recognition has been given to the relevance of natural surfaces and scenes as laboratory stimuli. Even so, there remain many theoretical and experimental challenges, not least to develop an account of color constancy that goes beyond deterministic and relatively simple laboratory stimuli and instead deals with the intrinsically variable nature of surfaces and illuminations present in the natural world. (shrink)

This paper provides a new approach to inference to the best explanation based on a new coherence measure for comparing how well hypotheses explain the evidence. It addresses a number of criticisms of the use of probabilistic measures in this context by Clark Glymour, including limitations of earlier work on IBE. Computer experiments are used to show that the new approach finds the truth with a high degree of accuracy in hypothesis selection tasks and that in some cases its accuracy (...) is greater than hypothesis selection based on maximizing posterior probability. Hence, by overcoming some of the problems with the previous approach, this work provides a more adequate defence of IBE and suggests that IBE not only tracks truth but also has practical advantages over the previous approach. Applications of the new approach to parameter estimation and model selection are also explored. (shrink)

In the form of inference known as inference to the best explanation there are various ways to characterise what is meant by the best explanation. This paper considers a number of such characterisations including several based on confirmation measures and several based on coherence measures. The goal is to find a measure which adequately captures what is meant by 'best' and which also yields the truth with a high degree of probability. Computer simulations are used to show that the overlap (...) coherence measure achieves this goal, enabling the true explanation to be identified almost as often as an approach which simply selects the most probable explanation. Further advantages to this approach are also considered in the case where there is uncertainty in the prior probability distribution. (shrink)

Two of the probabilistic measures of coherence discussed in this paper take probabilistic dependence into account and so depend on prior probabilities in a fundamental way. An example is given which suggests that this prior-dependence can lead to potential problems. Another coherence measure is shown to be independent of prior probabilities in a clearly defined sense and consequently is able to avoid such problems. The issue of prior-dependence is linked to the fact that the first two measures can be understood (...) as measures of coherence as striking agreement, while the third measure represents coherence as agreement. Thus, prior (in)dependence can be used to distinguish different conceptions of coherence. (shrink)

We present a conceptual framework on the experience of time and provide a coherent basis on which to base further inquiries into qualitative approaches concerning time experience. We propose two Time-Layers and two Time-Formats forming four Time-Domains. Micro-Flow and Micro-Structure represent the implicit phenomenal basis, from which the explicit experiences of Macro-Flow and Macro-Structure emerge. Complementary to this theoretical proposal, we present empirical results from qualitative content analysis obtained from 25 healthy participants. The data essentially corroborate the theoretical proposal. With (...) respect to Flow, the phenomenally accessible time experience appeared as a continuous passage reaching from the past through the present into the future. With respect to Structure, the individual present was embedded in the individual biography, emerging from past experiences and comprising individual plans and goals. New or changing plans and goals were being integrated into the existing present, thus forming a new present. The future appeared as changeable within the present, by means from the past, and therefore as a space of potential opportunities. Exemplarily, we discuss these results in relation to previous empirical findings on deviant experiences of time in Autism Spectrum Disorder that is presumably characterized by a breakdown of Flow and concomitant compensatory repetition resulting in an overly structured time. Finally, we speculate about possible implications of these findings both for psychopathological and neuroscientific research. (shrink)

For a stable visual world, the colours of objects should appear the same under different lights. This property of colour constancy has been assumed to be fundamental to vision, and many experimental attempts have been made to quantify it. I contend here, however, that the usual methods of measurement are either too coarse or concentrate not on colour constancy itself, but on other, complementary aspects of scene perception. Whether colour constancy exists other than in nominal terms remains unclear.

We present a conceptual framework on the experience of time and provide a coherent basis on which to base further inquiries into qualitative approaches concerning time experience. We propose two Time-Layers and two Time-Formats forming four Time-Domains. Micro-Flow and Micro-Structure represent the implicit phenomenal basis, from which the explicit experiences of Macro-Flow and Macro-Structure emerge. Complementary to this theoretical proposal, we present empirical results from qualitative content analysis obtained from 25 healthy participants. The data essentially corroborate the theoretical proposal. With (...) respect to Flow, the phenomenally accessible time experience appeared as a continuous passage reaching from the past through the present into the future. With respect to Structure, the individual present was embedded in the individual biography, emerging from past experiences and comprising individual plans and goals. New or changing plans and goals were being integrated into the existing present, thus forming a new present. The future appeared as changeable within the present, by means from the past, and therefore as a space of potential opportunities. Exemplarily, we discuss these results in relation to previous empirical findings on deviant experiences of time in Autism Spectrum Disorder that is presumably characterized by a breakdown of Flow and concomitant compensatory repetition resulting in an overly structured time. Finally, we speculate about possible implications of these findings both for psychopathological and neuroscientific research. (shrink)

Naive mereology studies ordinary, common-sense beliefs about part and whole. Some of the speculations in this article on naive mereology do not bear directly on Peter van Inwagen's "Material Beings". The other topics, (1) and (2), both do. (1) Here is an example of Peter Unger's "Problem of the Many". How can a table be a collection of atoms when many collections of atoms have equally strong claims to be that table? Van Inwagen invokes fuzzy sets to solve this problem. (...) I claim that an alternative treatment of vagueness, supervaluations over many-value valuations, provides a better solution. (2) The Special Composition Question asks how parts compose a whole. One who rejects van Inwagen's answer in terms of constituting a life need not provide some alternative answer. Even if all answers to the Special Question fail, there are a multitude of less general composition questions that are not so difficult. (shrink)

A primary purpose of argument is to increase the degree of reasonable confidence that one has in the truth of the conclusion. A question begging argument fails this purpose because it violates what W. E. Johnson called an epistemic condition of inference. Although an argument of the sort characterized by Robert Hoffman in his response (Analysis 32.2, Dec 71) to Richard Robinson (Analysis 31.4, March 71) begs the question in all circumstances, we usually understand the charge that an argument is (...) question begging with reference to the beliefs of the person, or the sort of person, to whom the argument is directed. (shrink)

This is the first of two papers that use off-training set (OTS) error to investigate the assumption-free relationship between learning algorithms. This first paper discusses the senses in which there are no a priori distinctions between learning algorithms. (The second paper discusses the senses in which there are such distinctions.) In this first paper it is shown, loosely speaking, that for any two algorithms A and B, there are “as many” targets (or priors over targets) for which A has lower (...) expected OTS error than B as vice versa, for loss functions like zero-one loss. In particular, this is true if A is cross-validation and B is “anti-cross-validation” (choose the learning algorithm with largest cross-validation error). This paper ends with a discussion of the implications of these results for computational learning theory. It is shown that one cannot say: if empirical misclassification rate is low, the Vapnik-Chervonenkis dimension of your generalizer is small, and the training set is large, then with high probability your OTS error is small. Other implications for “membership queries” algorithms and “punting” algorithms are also discussed. (shrink)

The important recent book by Schurz ( 2019 ) appreciates that the no-free-lunch theorems (NFL) have major implications for the problem of (meta) induction. Here I review the NFL theorems, emphasizing that they do not only concern the case where there is a uniform prior—they prove that there are “as many priors” (loosely speaking) for which any induction algorithm _A_ out-generalizes some induction algorithm _B_ as vice-versa. Importantly though, in addition to the NFL theorems, there are many _free lunch_ theorems. (...) In particular, the NFL theorems can only be used to compare the expected performance of an induction algorithm _A_, considered in isolation, with the expected performance of an induction algorithm _B_, considered in isolation. There is a rich set of free lunches which instead concern the statistical _correlations_ among the generalization errors of induction algorithms. As I describe, the meta-induction algorithms that Schurz advocates as a “solution to Hume’s problem” are simply examples of such a free lunch based on correlations among the generalization errors of induction algorithms. I end by pointing out that the prior that Schurz advocates, which is uniform over bit frequencies rather than bit patterns, is contradicted by thousands of experiments in statistical physics and by the great success of the maximum entropy procedure in inductive inference. (shrink)

Self-consciousness and the self -- Diachronic unity, diachronic singularity, and the subject of consciousness -- A modal argument for immateriality -- Intelligibility concerns and causal objections -- Concluding remarks.

How good is an explanation and when is one explanation better than another? In this paper, I address these questions by exploring probabilistic measures of explanatory power in order to defend a particular Bayesian account of explanatory goodness. Critical to this discussion is a distinction between weak and strong measures of explanatory power due to Good (Br J Philos Sci 19:123–143, 1968). In particular, I argue that if one is interested in the overall goodness of an explanation, an appropriate balance (...) needs to be struck between the weak explanatory power and the complexity of a hypothesis. In light of this, I provide a new defence of a strong measure proposed by Good by providing new derivations of it, comparing it with other measures and exploring its connection with information, confirmation and explanatory virtues. Furthermore, Good really presented a family of strong measures, whereas I draw on a complexity criterion that favours a specific measure and hence provides a more precise way to quantify explanatory goodness. (shrink)

This paper presents a new argument for the likelihood ratio measure of confirmation by showing that one of the adequacy criteria used in another argument can be replaced by a more plausible and better supported criterion which is a special case of the weak likelihood principle. This new argument is also used to show that the likelihood ratio measure is to be preferred to a measure that has recently received support in the literature.

The application of machine learning algorithms to healthcare data can enhance patient care while also reducing healthcare worker cognitive load. These algorithms can be used to detect anomalous physiological readings, potentially leading to expedited emergency response or new knowledge about the development of a health condition. However, while there has been much research conducted in assessing the performance of anomaly detection algorithms on well-known public datasets, there is less conceptual comparison across unsupervised and supervised performance on physiological data. Moreover, while (...) heart rate data are both ubiquitous and noninvasive, there has been little research specifically for anomaly detection of this type of data. Considering that heart rate data are indicative of both potential health complications and an individual’s physical activity, this is a rich source of largely overlooked data. To this end, we employed and evaluated five machine learning algorithms, two of which are unsupervised and the remaining three supervised, in their ability to detect anomalies in heart rate data. These algorithms were then evaluated on real heart rate data. Findings supported the effectiveness of local outlier factor and random forests algorithms in the task of heart rate anomaly detection, as each model generalized well from their training on simulated heart rate data to real world heart rate data. Furthermore, results support that simulated data can help configure algorithms to a degree of performance when real labeled data are not available and that this type of learning might be especially helpful in initial deployment of a system without prior data. (shrink)

The epistemic arrow of time is the fact that our knowledge of the past seems to be both of a different kind and more detailed than our knowledge of the future. Just like with the other arrows of time, it has often been speculated that the epistemic arrow arises due to the second law of thermodynamics. In this paper, we investigate the epistemic arrow of time using a fully formal framework. We begin by defining a memory system as any physical (...) system whose present state can provide information about the state of the external world at some time other than the present. We then identify two types of memory systems in our universe, along with an important special case of the first type, which we distinguish as a third type of memory system. We show that two of these types of memory systems are time-symmetric, able to provide knowledge about both the past and the future. However, the third type of memory systems exploits the second law of thermodynamics, at least in all of its instances in our universe that we are aware of. The result is that in our universe, this type of memory system only ever provides information about the past. We also argue that human memory is of this third type, completing the argument. We end by scrutinizing the basis of the second law itself. This uncovers a previously unappreciated formal problem for common arguments that try to derive the second law from the “Past Hypothesis”, i.e., from the claim that the very early universe was in a state of extremely low entropy. Our analysis is indebted to prior work by one of us but expands and improves upon this work in several respects. (shrink)

Pragmatism is a distinctive approach to clinical research ethics that can guide bioethicists and members of institutional review boards (IRBs) as they struggle to balance the competing values of promoting medical research and protecting human subjects participating in it. After defining our understanding of pragmatism in the setting of clinical research ethics, we show how a pragmatic approach can provide guidance not only for the day-to-day functioning of the IRB, but also for evaluation of policy standards, such as the one (...) that addresses acceptable risks for healthy children in clinical research trials. We also show how pragmatic considerations might influence the debate about the use of deception in clinical research. Finally, we show how a pragmatic approach, by regarding the promotion of human research and the protection of human subjects as equally important values, helps to break down the false dichotomy between science and ethics in clinical research. (shrink)

Everything red is colored, and all squares are polygons. A square is distinguished from other polygons by being four-sided, equilateral, and equiangular. What distinguishes red things from other colored things? This has been understood as a conceptual rather than scientific question. Theories of wavelengths and reflectance and sensory processing are not considered. Given just our ordinary understanding of color, it seems that what differentiates red from other colors is only redness itself. The Cambridge logician W. E. Johnson introduced the terms (...) determinate and determinable to apply to examples such as red and colored. Chapter XI, of Johnson's Logic, Part I (1921), “The Determinate and the Determinable,” is the main text for discussion of this distinction. (shrink)

This new edition includes three new chapters, updating the book to take into account developments in the field over the past fifteen years.

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

In this collection of provocative essays, historians and literary theorists assess the influence of Michel Foucault, particularly his History of Sexuality, on the study of classics. Foucault's famous work presents a bold theory of sexuality for both ancient and modern times, and yet until now it has remained under-explored and insufficiently analyzed. By bringing together the historical knowledge, philological skills, and theoretical perspectives of a wide range of scholars, this collection enables the reader to explore Foucault's model of Greek culture (...) and see how well his interpretation accounts for the full range of evidence from Greece and Rome. Not only do the essays bring to light the assumptions, ideas, and practices that constituted the intimate lives of men and women in the ancient Mediterranean world, but they also demonstrate the importance of the History of Sexuality for fields as diverse as Greco-Roman antiquity, women's history, cultural studies, philosophy, and modern sexuality. The essays include "Situating The History of Sexuality" (the editors), "Taking the Sex Out of Sexuality: Foucault's Failed History" (Joel Black), "Incipit Philosophia" (Alain Vizier), "The Subject in Antiquity after Foucault" (Page duBois), "This Myth Which Is Not One: Construction of Discourse in Plato's Symposium" (Jeffrey S. Carnes), "Foucault's History of Sexuality: A Useful Theory for Women?" (Amy Richlin), "Catullan Consciousness, the 'Care of the Self,' and the Force of the Negative in History" (Paul Allen Miller), "Reversals of Platonic Love in Petronius' Satyricon" (Daniel B. McGlathery), and an essay from Dislocating Masculinity (Lin Foxhall). (shrink)

In an anthology on panentheism, Keith Ward assesses the appropriateness of the metaphor of embodiment for God, as well as the viability of the concept of panentheism itself, as he considers the theologies of Ramanuja, Hegel, and process thought. Ward frames polar problems with respect to the analogy of self-body/God-world and to the concept of panentheism. Ramanuja and Hegel’s theologies ultimately deny the freedom and compromise the independence and otherness of the creatures. Process theology compromises divine sovereignty and perfection, making (...) God too passible to the world’s evils. This article attempts to transcend such one-sided approaches as it develops a balanced concept of panentheism and a metaphor of divine embodiment that provide for mutual influence between God and the world, wherein both the suffering and happiness of the world affect God, while maintaining sole divine causal ultimacy with respect to the world. (shrink)